COMMENT ⊗   VALID 00010 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002
C00004 00003	FALL QUARTER 1979
C00007 00004	WINTER QUARTER 1980
C00012 00005	SPRING QUARTER 1980
C00017 00006	                                                                     
C00021 00007	FALL QUARTER 1980
C00024 00008	WINTER QUARTER 1981
C00027 00009
C00029 00010
C00031 ENDMK
C⊗;



AAAI    American Assn for Artificial Intelligence
ACM     Association for Computing Machinery
AMPS
ATP
BBS     The Behavioral and Brain Sciences
CASBS   Center,Advanced Studies Behavioral Sciences
CCS	Committee of Concerned Scientists
IFIP    IInternation Federation for Information Processing
ICCP    International Conference on Collective Phenomena
III     Information Internation Incorporated
SE2	Scientists and Engineers for Secure Energy
FALL QUARTER 1979



1101F79  AI Ctr. Technical Note Abstracts, SRI International

1101W79  Scott Kim, grad student

ll09W79  Academy Council on Foreign Policy.  Salt II, NATO

ll16W79  Prof. Herbert Teager, Pattern Recogntion problems in AI

1201W79  Jackson, Philip. MS thesis, UCSC

1201W79  John Carr, letter from Xian, China re Chinese laboratory

1205F79  Dialnet Project + Paul Stoft, Hewlett Packard

1205F79  Lifschitz, re Dr. Grigorii Mints

1206F79  Larsen, Cecilia, Request for IBM version of LISP Program

1206F79  MIT Press, LISP 1.5 PROGRAMMER'S MANUAL.

12l7F79  ICCP, 4th.  Organizing committee, letter to Joel Lebowitz

1218F79  Sperry Univac - re copyright materials

1218F79  Zh. Atanasov, Poland, Polish Academy of Sciences

12l8F79  IBM, Watson Research Lab.  air ticket

1218F79  Michael Intriligator, UCLA, Abstract for Marschak Seminar

1219F79  J. Raviv, "Computer, Man and Society"

1220F79  R.C.T.Lee, National Tsing Hua U., re Dr. Sheu enrolling at Stanford

1220F79  Firdman, considerable correspondence

WINTER QUARTER 1980


0101W80  Schanberg article

0101W80  Technology and Society, Computer Technology opportunities

0100W80  Preserving Computer-related Source Materials

0107W80  Logic of Conjecture - Lawlor,attorney, Pasadena

0110W80  Firdman

01l8W80  Dr. Alick Elithorn,Royal Free Hospital, London, NATO Symposium

0118W80  Indiana Univ. CS Dept., re expense voucher

0122W80  Computer use, Stan. U.Advisory Com. on Computer Use

0123W80  "Formalizing Ockham' Razor", J. Marschak Colloquium, UCLA

0124W80  Schanberg's article, JMC letter to NY TIMES

0127W80  Kodak, re lecture slides

0130S80  ACM l979 Conference Tapes.  Information Cassettes, Inc.


0201W80  Informatics Lab., Linkoping Univ. Sweden, asking for information

0206W80  B. Randell, invitation to AI Seminar Newcastle upon Tyne

0201W80  Prof. P. Beckmann, U. of Colorado, re liquid hydrogen

0212W80  Liu Zhong-fu, Harbin Inst. of Technology, Declining visit there

0211W80  Financing research in electronics, letter to "Forum"   

0214W80  Control of superluminal channel, Henry Stapp, Lawrence Lab

0225W80  CCS, visa application, title, vita for Soviet meeting.

0300W80  American Academy of Arts and Sciences, March l980

0306W80  Cartwright "error", letter and paper from Takeshi Hayashi, Kyushu U.

0310W80  Schanberg's article, letter from L. R. Abramson

0310W80  Doug Murray, U.S.-China Program, re Harbin Institute invitation

0312W80  Harold Deakins, Illinois Power, Decatur. Tape for 60 Minutes

0319W80  Metzger, H. P., THE COERCIVE UTOPIANS:THEIR HIDDEN AGENDA

0319W80  Metzger, H. P., BOVERNMENT FUNDED ACTIVISM:HIDING BBEHIND THE PUBLIC INTEREST

0320W80  Pereira, Luis Moniz Prof.  Logic Programming

0321W80  ALCOA  - new unrestricted account for AI


SPRING QUARTER 1980


0401S80  Syllabuus for Qualifying Exam in AI, Spring l980

0401S80  Anthony Hearn, TThe Personal Algebra Machine.  Paper at IFIP80

0400S80  "Nuclear Power: Where do we go from here?

0400S80  SE2, Status Update, February l980

0400S80  SE2, News release, March l980

0400S80  SE2, News release, April l980

0400S80  Solution to Branching Factor.., Judea Pearl,UCLA

0400S80  RETE, Abstract, Charles L. Forgy, Carnegie-Mellon U.

0400S80  Learning Control of Production Systems, Abstract, Stolfo, Columbia U.

0401S80  Boden, Maggie, letter from

0402S80  NASA Software Research/Technology Workshop Abstracts

0407S80  ASME,invitation to winter meeting, N. P. Sun, MIT

0411S80  SE2, letter to Pres. Carter re INFCE.

04l6S80  George McGovern, letter re Iran

0417S80  James Craig, EE grad student studying in AI with JMC

0418S80  CS Dept., Programming Courses and the Honor Code - Denny Brown

0422S80  SE2, News release  on control of nuclear proliferation

0428S80  Machine Intelligence Workshop, l0th.  Michie LE1



0500S80  American Academy of Arts and Sciences, May l980.  Human Issues in Space

0501S8   SE2, Reprint from NUCLEONICS WEEK on reprocessing.

0509S80  ASPEN, Agenda - "Coping with U.S. Petroleum Supply Interruptions"0512S80  

0512S80  Blattner, M., re NSF support of new project

0512S80  A. Nait-Abdallah.  Employment at Stanford

05l1S80  Collective Phenomena, Conference on - Refuseniks

0515S80  Aspen Institute, Wye meeting, May l980, Chauncey Starr

0519S80  ASPEN, Conclusions of workshop on Coping with U.S. Petroleum Supply.....

0500S80  SE2, Status Report May l980

0525S80  CCS, Volvovsky

0525S80  CCS, Firdman

0528S80  Boden letter.  "The Case for Cognitive Biology"

0528S80  Research interests, Stanford faculty

0514S80  BBS.  Article title to be BELIEFS, MACHINES, AND THEORIES.




0601S80  Black Tuesday, June l980

0601S80  Reis, Richard. FUTURE SURVEY, Energy crisis

0601S80  WG2.2 meeting, June 1980, Copenhagen

0602S80  Davies, Kathryn, inquiry about schooling.  Surrey, England

0605S80  Kahn, Robert. Request from T. Binford, access to ARPA VAX systems

0609S80  SE2, on Nuclear Energy

0609S80  James Solinsky, LaJolla Institute Workshop invitation refused.

0617E80  GIST draft manual

0618S80  News Service Software.  

0623S80  Ringle, Martin, Cognition and Brain Theory, CBT

0623S80  Natural Language.  Prof. Haugeland.  MRHUG

0623S80  SE2 meeting Stanford.  McCarthy speech reported.

0624S80  Song, Thais parody

0626S80  Legal Reason, Artifice of,John Kelly

0626S80  Friends of the Earth. Soft Energy path.  Lovins.

0626S80  WELMM Approach.  Options, IIASA Report

0630S80  Walter Kiechel.  Computer library

0630S80  Doszkocs and Rapp, Computer library
                                                                     


0701E80  Haugeland, John.  Weak Supervenience

0701E80  G. P. Baker.  Defeasibility and Meaning

0701E80  SUN Display Cluster, A Data-Disk Replacement

0701E80  JOURNAL OF ALGORITHMS, Editors, Knuth and Wilf

0701E80  Goldman & White.USC/ISI A Relational Data Base Foundation for Process ...

0701E80  Institute for Policy Studies, Anti-Technology

0702E80  Pearcey T., Caulfield Institute of Tech., Australia

0716E80  Fr. Neil Hurley, SJ., Article by Teilhard de Chardin, Noosphere

0722E80  Balzer, & Goldman.USC/ISI,  Principles of Good Software Specifica.....

0722E80  AI Conference, Aug. l980.  Title of speech.  PROGRA.xgp[1,jra]

0730E80  Schnitzer, Kenneth, SE2, nuclear waste

073lE80  Dana Scott, LISP



0801E80  LEGAL ACTIVITIES REPORTER.  National Legal Center for the Public Interest

0805E80  AAAI Editorial Board meeting, Aug. 20, l980

0812E80  Boden, AI AND NATURAL MAN.  Copyright, Basic Books, Inc.

0815E80  Workshop on Formal Methods in AI, Moss Landing, CA.  Aug l5-l7, l980

0819E80  Encyclopedia article on Recursion

0821E80  Barkin, Jeffrey.  Inquiry about research position.  Swarthmore College

0825E80  AAAI Conference inquiry

0828E80  Madis Saluveer.  Tartu State University.  Estonia, USSR

0829E80  IFIP Working Group 2.2, meeting April 27, l981.  Minutes of June, l980.

0829E80  Professor Kazuaki Iwata, Kobe University

0827E80  Hideyuki Takahashi



0901E80  l980-l98l Professional Journalism Fellows

0901E80  Navy Center for AI Research and Technology.  Jobs available.

0901E80  Report on placement of engineering graduates

0901E80  Nils J. Nilsson, The Interplay between Experimental and Theoretical
         Methods in Articial Intelligence.  SRI Technical Note 229.
        
0901E80  The Plactic Ring, Lascoux and Schutzenberger

0908E80  International Workshop on Program Construction

0909E80  Scherlis, Wm.   Paper submitted to POPL.


0917E80  Annual Faculty Report for Academic Year l979-80


0918E80  Michael Benefiel, Foreign Commercial Service, Tokyo.  Wanted AI Info

0929E80  Henry, Margaret.  Council for International Exchange of Scholars

0930E80  Gannis, Steve.  Nuclear energy ad
FALL QUARTER 1980


1001F80  Tomita, Masaru.  Potential Stanford student

1002F80  Levin, Michael.  Solictation of support for Reagan

1003F80  William Massy.  Sent CBCL[F75,jmc]

1009F80  Fenaughty, A. L., III, letter re Alan Miller

1015F80  Crawford, F. W., Sigma Xi, thank you letter

1017F80  Snow, Don, copy of Sigma Xi tape

1017F80  Swaminathan, K.  Advice to Indian student.

1020F80  Zager, David.  Advice re professional interests

1020F80  Pournelle, Jerry.  America is an Undeveloped Country

1027F80  Haimila, Mervi.  Telgram from Finland re Asset

1027F80  Gamble, Evan.  Potential Stanford student

1030F80  Sigma Xi talk tape, Donald Snow, BYU

1024F80  P. Cheeseman, Australia


1101F80  Tie-cheng Wang.Academia Sinica.  Referred to Nilsson.  Chinese student.

1107F80  Five Year Outlook Report, National Academy of Sciences.  Metzger.

1111F80  Elihu Gerson, Huxley quotation

1112F80  Nils Nilsson, Chinese student.  Tie Cheng Wang

1113F80  MIT Press. Taylor, R. H.  

1117F81  Stanford Symposium on Office Automation.  Robert Landau.








1203F80  Brent Arnold, Henry Firdman (see Firdman envelope, shelfw)

1203F80  Data work send abroad.  Database work


1206F80  Dennis Hamilton.  Matl referred to D. Knuth.

1215F80  Naval Research Laboratory, Chief Scientist

1223F80  Subhas Chandra, University of South Pacific, Fiji
    
1229F80  Guenther Goerz.  Germany.  Erlangen
WINTER QUARTER 1981

0101W81  Reseda

0101W81  Steve Heims sents book review by Freeman Dyson. Von Neumann and Wiener

0102W81  Dennis Hamilton, letters and papers

0115W81  Levesque, Hector.  application

0116W81  Fidelity Electronics.  Chess Challenger part

0116W81  American Association for Advancement of Science, elected member,McCarthy

0116W81  SONY, Typecorder.  new product

0116W81  Rutgers University.  report announcements by ARPAnet.

0116W81  Klass Siemens.  Visting here June 5, l98l.  Referred to Ton Binford

0125W81  ARPANET, ARPA CONSOLIDATION, Feigenbaum, ARPA funding

0202W81  Conquest of Outer Space, G.I. Petrov,  Francis Kane. Soviet exploration.

0202W81  Paula Hammet, Australian.  Inquires about papers

0204W81  John Lloyd, University of Melbourne

0205∨81  Kasahara, Nippon Electric Co. NEC

0206W81  Michael Kelly

0220W81  He Ji-feng.  China scholar.  From University of San Francisco.




0313W81  Greg Ray.  Robotics

0313W81  DARPA, SEL, Robert Dutton, export of information, Richard Reynolds

0313W81  David Reade.  Naval Weapons Center.  AI Video courses.

0317W81  Habermann, Carnegie-Mellon. Distinguished Lecture Series

0318W81  Wu Yunzeng, Peking.  Complexity Theory

0325W81  Seiichi Nishihara, University of Tsukuba

0327W81  LISP, Franz Lisp, Lisp Timing Project, s-1 NIL Project, Elisp

0331W81  Birkhauser Boston,Inc.  Klaus Peters.  science publication

0331W81  Robert Trappl, Austria.  Cybernetics.

 




SPRING QUARTER 1981

0101S81  Pereira, Prof. Luis Universidade Nova de Lisboa, Portugal

0401S81  Clara Torda

0415S81  MIT Retirement Plan for Staff Members, Variable Fund Annuity

0416S81  Mandeville

0417S81  NSF, DARPA, Workshop on Logic Programming for Intelligent Systems
         Logicon

0401S81  Hao Ke-gang.  China scholar application.

0421S81  Verkshop II, Sigsoft July l980.  Neuman at SRI







0501S81  Ovshinsky, glass semiconductor

0501S81  Verification Workshop Attendance List

0511S81  Pereira, Luis, Lisbon visit

0518S81  Suh, Nam P., re cooperation NSF and industry

057S81   Perlis, Donald, re position in department. University of Rochester



0609S81  Robinson, Alan, letter re LOGLISP code and documentation

0615S81  Thomas, R., Laboratoire de Langues, Marseille


SUMMER QUARTER 1981

0706E81  Danicic, I.  University College Wales, re Lisp 1.5

0709E81  Greenberger, Martin, re Xerox machine

0717E81  Sosna, Universal Pictures, films - sent to him

0720E81  Messick, R., copy of LISP Manual sent

0720E81  Rautenberg, Tom, Santa Monica, book on noted scientists

0724E81  Enikeev, A., Russian asking for to study with John at Stanford

0727E8l  Lebed, Jay, Swarthmore student re grad study in cognitive science

0728E81  Ezodien, J., St. John's student re position in AI - paper included




0811E81  Newman, Susan.  Benjamin/Cummings Co., publish LISP

0811E81  Kaplan, David.  Wiley-Interscience., publish LISP